Adding closed world assumptions to well-founded semanticsPEREIRA, L. M; ALFERES, J. J; APARICIO, J. N et al.Theoretical computer science. 1994, Vol 122, Num 1-2, pp 49-68, issn 0304-3975Conference Paper

Novelty in deductive databasesGrégoire, E; Marquis, P.1993, 29 p.Report

Explanation-based closure of databases with hypothesesMATSUDA, K; TAHARA, I.Systems and computers in Japan. 1997, Vol 28, Num 1, pp 56-65, issn 0882-1666Article

The problem of missing data in geoscience databasesHENLEY, Stephen.Computers & geosciences. 2006, Vol 32, Num 9, pp 1368-1377, issn 0098-3004, 10 p.Article

On computing minimal and perfect model membershipJOHNSON, C. A.Data & knowledge engineering. 1996, Vol 18, Num 3, pp 225-276, issn 0169-023XArticle

Propositional circumscription and extended closed-world reasoning are Π₂^P-completeEITER, T; GOTTLOB, G.Theoretical computer science. 1993, Vol 114, Num 2, pp 231-245, issn 0304-3975Article

Towards a Logical Reconstruction of a Theory for Locally Closed DatabasesDENECKER, Marc; CORTES-CALABUIG, Alvaro; BRUYNOOGHE, Maurice et al.ACM transactions on database systems. 2010, Vol 35, Num 3, issn 0362-5915, 22.1-22.60Article

Closed World Data ExchangeHERNICH, Andre; LIBKIN, Leonid; SCHWEIKARDT, Nicole et al.ACM transactions on database systems. 2011, Vol 36, Num 2, issn 0362-5915, 14.1-14.40Article

Empirical Assessment of Object-Oriented Implementations with Multiple Inheritance and Static TypingDUCOUMAU, Roland; MORANDAT, Floréal; PRIVAT, Jean et al.ACM SIGPLAN notices. 2009, Vol 44, Num 10, pp 41-60, issn 1523-2867, 20 p.Conference Paper